[ W -> [ to ( 1 , 2 ) , to ( 1 , 3 ) , to ( 2 , 3 ) , to ( 1 , 2 ) , to ( 3 , 1 ) , to ( 3 , 2 ) , to ( 1 , 2 ) ] ] ; Yes